ГИЛЬБЕРТОВО ПРОСТРАНСТВО

векторное пространство Н над полем комплексных (или действительных) чисел вместе с комплексной (действительной) функцией ( х, у), определенной на и обладающей следующими свойствами.

то существует такой элемент , что

элемент хназ. пределом последовательности ;

7) Н - бесконечномерное векторное пространство.

Функция , удовлетворяющая аксиомам 1) - 5), наз. скалярным произведением, или внутренним произведением, элементов хи у. Величина наз. нормой (или дли но и) элемента . Имеет место неравенство . Если ввести в Нрасстояние между элементами при помощи равенства то Нпревращается в метрическое пространство.

Два Г. п. наз. изоморфными (или изометрически изоморфным и), если существует взаимно однозначное соответствие , между , сохраняющее линейные операции и скалярное произведение.

Г.п. составляют наиболее распространенный и важный для приложений класс бесконечномерных векторных пространств. Они представляют собой естественное обобщение понятия конечномерного векторного пространства со скалярным произведением (т. е. конечномерного евклидова пространства, или конечномерного унитарного пространства). Именно, если в конечномерном векторном пространстве (над полем действительных или комплексных чисел) задано скалярное произведение, то свойство 6), наз. по л нотой Г. п., выполняется автоматически. Бесконечномерные векторные пространства Нсо скалярным произведением наз. предгильбертовыми пространствами; существуют предгильбертовы пространства, в к-рых свойство 6) не выполняется. Всякое предгильбертово пространство может быть дополнено до Г. п.

Иногда в определение Г. п. не включается условие бесконечномерности, т. е. предгильбертовым пространством наз. векторное пространство над полем комплексных (или действительных) чисел со скалярным произведением, а Г. п. наз. полное предгильбертово пространство.

Примеры Г. п. 1) Комплексное пространство (или l₂). Элементами этого Г. п. являются бесконечные последовательности комплексных чисел со сходящейся суммой квадратов модулей:

скалярное произведение определяется равенством

2) Пространство (обобщение примера 1)). Пусть Т - произвольное множество. Элементами Г. п. являются комплекснозначные функции х(t).на Т, отличные от нуля не более чем в счетном множестве точек и такие, что ряд

сходится. Скалярное произведение определяется равенством

Всякое Г. п. изоморфно пространству для нек-рого соответствующим образом подобранного Т.

3) Пространство (или ) комплекснозначных функций , определенных на множестве Sс вполне аддитивной положительной мерой (заданной на -алгебре -подмножеств множества ), измеримых и имеющих интегрируемый квадрат модуля:

В этом Г. п. скалярное произведение определяется равенством

4) Соболева пространство , обозначаемое также (см. Вложения теоремы).

5) Г. п. функций со значениями в Г. п Пусть Н- нек-рое Г. п. со скалярным произведением (x, у), . Пусть, далее, - произвольная область в , а , - функция се значениями в Н, измеримая в смысле Бохнера (см. Бохнера интеграл).и такая, что

где dx- мера Лебега на (вместо меры Лебега можно взять любую другую положительную счетно аддитивную меру). Если на этом множестве функций определить скалярное произведение

то получится новое Г. п. H₁.

6) Множество непрерывных Бора почти периодических функций на прямой образует предгильбертово пространство, если скалярное произведение определяется равенством

Существование предела вытекает из теории почти периодич. функций. Это пространство пополняется Безиковича почти периодическими функциями класса В ².

Пространства l² и L² были введены и изучены Д. Гильбертом [1] в основополагающих работах по теории интегральных уравнений и бесконечных квадратичных форм. Определение Г. п. было дано Дж. Нейманом [3], Ф. Риссом [4] п М. Стоуном [13], к-рые положили также начало его систематич. изучению.

Г. п. является естественным обобщением обычного трехмерного пространства евклидовой геометрии, и многие геометрич. понятия имеют интерпретацию в Г. п., что позволяет говорить огеометрии Г. п. Два вектора х, уиз Г. п. Нназ. ортогональными , если Два линейных многообразия из Я наз. ортогональными , если каждый элемент из ортогонален каждому элементу из .Ортогональным дополнением множества называется множество т. е. множество элементов , ортогональных ко всем элементам из А. Оно обозначается или, если Нподразумевается, . Ортогональное дополнение произвольного множества из Несть замкнутое линейное многообразие. Если - замкнутое линейное многообразие в Г. п. (называемое также подпространство м), то всякий элемент единственным образом может быть представлен в виде суммы . Это разложение наз. теоремой об ортогональном дополнении и записывается обычно в виде

При этом теорема справедлива также в случае, если Я есть предгильбертово пространство, а - замкнутое линейное многообразие в . В связи с этим уместно отметить, что нек-рые другие утверждения теории Г. п. справедливы полностью или частично и в предгильбертовых пространствах. Однако практически это обстоятельство не очень существенно, ибо встречающиеся в приложениях пространства либо полны, либо известно, как их пополнить.

Множество наз. ортонормиро ванным множеством, или ортонормпрованной системой, если любые различные два вектора из Аортогональны и если норма каждого вектора равна единице.

Ортонормированное множество наз. полным ортонормировании м множеством, если не существует ненулевого вектора из H, ортогонального ко всем векторам этого множества. Если - ортонормированная последовательность, а - последовательность скаляров, то ряд сходится в том и только в том случае, когда

при этом

(теорема Пифагора в Г. п.).

Пусть А - ортонормированное множество в Г. п. Н, а х - произвольный вектор из Н. Тогда для всех , за исключением конечного или счетного множества векторов. Ряд

Сходится, и его сумма не зависит от порядка расположения его ненулевых членов. Оператор Рявляется оператором ортогонального проектирования, или проектором, на замкнутое линейное многообразие, порождаемое множеством А. Множество наз. ортонормирован-ным базисом линейного многообразия , если Асодержится в и если для любого имеет место

т. е. любой вектор разлагается по системе А, или может быть представлен при помощи векторов системы .4. Набор чисел наз. набором коэффициентовФурье элемента хпо базису А. Каждое подпространство Г. п. Н(в частности, само Н).имеет ортонормированный базис.

В ортонормированным базисом является набор функций , определяемых формулой при при . В пространстве разложение вектора по базису принимает вид разложения функции по системе ортогональных функций - важный метод решения задач математич. физики.

Для ортонормпрованного множества следующие утверждения эквивалентны: Аполно; Аявляется ортонормированным базисом для Н; для любого .

Все ортонормированные базисы данного Г. п. имеют одну и ту же мощность. Этот факт позволяет определить размерность Г. п. Именно, размерностью Г. п. наз. мощность произвольного ортонормированного базиса в нем. Иногда эта размерность наз. гильбертовой размерностью (в отличие от линейной размерности Г. п., т. е. мощности базиса Гамеля (Хамеля) - понятия, не учитывающего топологич. структуру Г. п.). Два Г. п. изоморфны в том и только в том случае, когда они имеют одну и ту же размерность. С понятием размерности связано понятие дефекта, или коразмерности, подпространства. Именно, дефектом подпространства Г. п. Нназ. размерность ортогонального дополнения Подпространство, дефект к-рого равен 1, т. е. ортогональное дополнение к-рого одномерно, называется гиперпространством. Параллельное ему плоское множество называется гиперплоскостью.

Некоторые из геометрич. понятий требуют использования терминологии линейных операторов в Г. п.; к ним относится, в частности, понятие раствора линейных многообразий. Раствором многообразий и в Г. п. Н наз. норма разности операторов, проектирующих Нна замыкание этих линейных многообразий.

Простейшие свойства раствора:

причем в случае строгого неравенства .

Во многих задачах, относящихся к Г. п., участвуют лишь конечные наборы векторов Г. п., т. е. элементы конечных линейных многообразий Г. п. Поэтому понятия и методы линейной алгебры играют в теории Г. п. большую роль. Векторы в Г. п. наз. линейно независимыми, если равенство

где - скаляры, возможно лишь в том случае, когда все равны нулю. Для линейной независимости векторов необходимо и достаточно, чтобы их Грама определитель был отличен от нуля. Счетная последовательность векторов наз. линейно независимой последовательностью, если линейно независима каждая ее конечная часть. Каждая линейно независимая последовательность может быть ортогонализирована, т. е. может быть построена такая ортонормированная система что для каждого п линейные оболочки множеств и совпадают. Это построение наз. процессом ортогонализации (ортонорма-лизации) Грама - Шмидта и осуществляется следующим образом:

В множестве Г. п. определены операции прямой суммы и тензорного произведения Г. п. Прямой суммой Г. п. где каждое обладает соответствующим скалярным произведением, наз. Г. п.

определяемое следующим образом: в векторном пространстве - прямой сумме векторных пространств - задается скалярное произведение равенством

При элементы из и в прямой сумме

взаимно ортогональны, и проектирование на совпадает с ортогональным проектированием на Понятие прямой суммы Г. п. обобщается на случай бесконечного множества прямых слагаемых. Пусть для каждого v из нек-рого множества Аиндексов задано Г. п. . Прямой суммой Г. п. наз. (и обозначается ) совокупность Нвсех определенных на Афункций , обладающих тем свойством, что для каждого , и

.

При этом в Нлинейные операции определяются равенством

и скалярное произведение - равенством

При таком способе введения линейных операций и скалярного произведения прямая сумма

становится Г. п.

Другой важной операцией в множестве Г. п. является тензорное произведение. Тензорным произведением Г. п. наз. Г. п., определяемое следующим образом. Пусть - тензорное произведение векторных пространств В векторном пространстве существует единственное скалярное произведение такое, что

для всех Векторное пространство становится, таким образом, предгильбертовым пространством, пополнение к-рого есть Г. п., обозначаемое пли и наз. тензорным произведен и ем Г. п..

Г. п. образуют важный класс банаховых пространств:любое Г. и. Hесть банахово пространство относительно нормы причем для любых двух векторов имеет место равенство параллелограмма:

Равенство параллелограмма выделяет класс Г. и. среди банаховых пространств, т. е. если в действитель-яия нормированном пространстве Бдля любой пары элементов л-,. имеет место равенство параллелограмма, то функция

удовлетворяет аксиомам скалярного произведения и тем самым превращает Вв предгильбертово пространство (а если В- банахово, то - в Г. п.). Из равенства параллелограмма следует, что Г. п. есть равномерно выпуклое пространство. Как в любом банаховом пространстве, в Г. п. можно определить две топологии - сильную (нормированную) и слабую. Эти топологии различны, но Г. п. сепарабельно в сильной топологии тогда и только тогда, когда оно сепарабельно в слабой топологии; выпуклое множество (в частности, линейное многообразие) в Г. п. сильно замкнуто тогда и только тогда, когда оно слабо замкнуто.

Как и в теории общих банаховых пространств, в теории Г. п. важную роль играет понятие сепарабельности. Г. п. сепарабельно тогда и только тогда, когда оно имеет счетную размерность. Г. п. и сепара-бельны. Г. п. сепарабельно тогда и только тогда, когда Тне более чем счетно; Г. п. сепарабельно, если мера имеет счетный базис. Г. п. не сепарабельно.

Любой ортонормированный базис в сепарабельном Г. п. Нявляется одновременно безусловным базисом Шаудера в H, рассматриваемом как банахово пространство. Однако в сепарабельных Г. п. существуют и не ортогональные базисы Шаудера. Так, справедлива теорема (см. [7]): пусть - полная система векторов в Г. п. Ни пусть и - наименьшее и наибольшее собственные значения Грама матрицы,

Если

то 1) последовательность есть базис в ; 2) существует биортогональная к последовательность , к-рая также является базисом в Н. Как и в любом банаховом пространстве, описание множества линейных функционалов на Г. п. и исследование свойств этих функционалов имеет большое значение. Линейные функционалы в Г. п. устроены особенно просто. Всякий линейный функционал fв Г. п. Я однозначно записывается в виде для всех , где ; при этом . Пространство линейных функционалов f на H, сопряженное к H, изометрически антинзоморфно H (т. е. соответствие изометрнчно, аддитивно н антиоднородно:). В частности, Г. п. рефлексивно; поэтому справедливы следующие утверждения: Г. п. слабо секвенциально полно; для того чтобы подмножество Г. п. было относительно слабо компактным, необходимо и достаточно, чтобы оно было ограниченным.

Основным содержанием теории Г. н. является теория линейных операторов в Г. п. Само понятие Г. п. сформировалось в работах Д. Гильберта [2] и Э. Шмидта [14] по теории интегральных уравнений, а абстрактное определение Г. п. было дано в работах Дж. Неймана [3], Ф. Рисса [4] и М. Стоуна [13] по теории эрмитовых операторов. Теория операторов в Г. п. представляет особый важный раздел общей теории операторов но двум причинам.

Во-первых, теория самосопряженных и унитарных операторов в Г. п. является не только самой разработанной частью общей теории линейных операторов, но и имеющей исключительно широкие приложения в других областях функционального анализа и в ряде других разделов математики и физики. Теория линейных операторов в Г. п. позволяет рассмотреть многие задачи математич. физики с единой общей точки зрения; прежде всего - вопросы, относящиеся к собственным значениям и собственным функциям. Кроме того, теория самосопряженных операторов в Г. п. служит математич. аппаратом квантовой механики: при описании квантовомеханич. системы наблюдаемые (энергия, импульс, координаты и т. п.) интерпретируются как самосопряженные операторы в нек-ром Г. п., а состояние системы задается элементом этого Г. п. В свою очередь, задачи квантовой механики до настоящего времени оказывают влияние на развитие теории самосопряженных операторов, а также теории алгебр операторов в Г. п.

Во-вторых, интенсивно развивающаяся теория несамосопряженных операторов в Г. п. (в частности, циклических, нильпотентных, одноклеточных, сжимающих, спектральных и скалярных операторов) является важной моделью теории линейных операторов в более общих пространствах.

Важный класс линейных операторов в Г. п. образуют всюду определенные непрерывные операторы, наз. также ограниченными операторами в Г. п. Если ввести в множестве всех ограниченных линейных операторов в H операции сложения, умножения на число и умножения операторов, а также норму оператора, по обычным правилам (см. Линейные операторы).и определить инволюцию в как переход к сопряженному оператору, то становится банаховой алгеброй с инволюцией. Важнейшими классами ограниченных операторов в Г. п. являются самосопряженные операторы, унитарные операторы и нормальные операторы, так как они обладают специальными свойствами по отношению к скалярному произведению. Эти классы операторов хорошо изучены; основным инструментом в их изучении являются простейшие из ограниченных самосопряженных операторов, а именно: операторы ортогонального проектирования, или ортогональные проекторы, часто называемые просто проекторами. Способ, позволяющий строить любые ограниченные самосопряженные, унитарные и нормальные операторы в комплексном Г. п. с помощью проекторов, дается спектральным разложением соответствующих операторов, особенно простым в случае сепарабельного Г. п.

Более сложным разделом теории линейных операторов в Г. п. является теория неограниченных операторов. Важнейшими неограниченными операторами в Г. н. являются замкнутые линейные операторы с плотной областью определения; в частности, неограниченные самосопряженные и нормальные операторы. Между самосопряженными и унитарными операторами в Г. п. существует взаимно однозначное соответствие, определяемое Кэли преобразованием. Большое значение имеет (в частности, в теории линейных дифференциальных операторов) класс симметричных операторов в Г. п. и теория самосопряженных расширений симметричных операторов.

Неограниченные самосопряженные и нормальные операторы в комплексном Г. и. H также допускают спектральное разложение. Спектральное разложение является большим достижением теории самосопряженных и нормальных операторов в Г. п. Оно соответствует классич. теории приведения эрмитовых и нормальных комплексных матриц в n-мерном унитарном пространстве. Именно спектральное разложение и связанное с ним операторное исчисление для самосопряженных и нормальных операторов обеспечивают теории операторов в Г. п. широкую область применения во многих разделах математики.

Для ограниченных самосопряженных операторов в спектральное разложение было найдено Д. Гильбертом [1], к-рый также ввел важное понятие разложения единицы для самосопряженного оператора. В современный период известно несколько подходов к спектральной теории самосопряженных и нормальных операторов. Один из наиболее глубоких дает теория банаховых алгебр. Спектральное разложение для неограниченного самосопряженного оператора было найдено Дж. Нейманом [3]. Его работе предшествовали важные исследования Т. Карлемана [8], к-рый получил спектральное разложение для случая симметрического интегрального оператора, а также впервые обнаружил, что между симметрическими ограниченными и неограниченными операторами полной аналогии нет. На важность понятия самосопряженного оператора впервые обратил внимание Э. Шмидт (см. [3], с. 62).

Следует отметить, что как для исследований Д. Гильберта, так и для более поздних исследований большое значение имели работы П. Л. Чебышева, А. А. Маркова, Т. И. Стилтьеса по классической моментов проблеме, Якоби матрицам и непрерывным дробям (см. [9]).

Лит.:[1] Нilbеrt D., Grundziige einer allgemeincn Theorie der linearen Integralgleichungen, Lpz.- В., 1912; N. Y., 1953; [2] Вesiсоvitсh A. S., Almost periodic functions, Camb., 1932; [3] vоn Neumann J., "Math. Ann.", 1929, Bd 102, S. 49-131; [4] Riesz P., "Acta Sci. Math. Szeged", 1930, v. 5, № 1, p. 23-54; [5] Дьедонне Ж., Основы современного анализа, пер. с англ., М., 1964; [6] Бурбаки Н., Топологические векторные пространства, пер. с франц., М., 1959; [7] Ахиезер Н. И., Глазман И. М., Теория линейных операторов в гильбертовом пространстве, 2 изд., М., 1966; [8] Саrlеmаn Т., Sur les equations integrates singulieres a noyau reel et symetrique, Uppsala, 1923; [9] Axиезер Н. И., Классическая проблема моментов и некоторые вопросы анализа, связанные с нею, М., 1961; [10] Данфорд Н., Шварц Д ж., Линейные операторы, пер. с англ., М., 1962; [11] Рисе Ф., Секефальви-Надь Б., Лекции по функциональному анализу, пер. с франц., М., 1954; [12] Наймарк М. А., Линейные дифференциальные операторы, 2 изд., М., 1969; [13] Stone M., Linear transformation in Hilbert space and their applications to analisis, N. Y., 1932; [14] Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 3 изд., М., 1972.

Б. М. Левитан.